% STATISTICS (test/classfiles/to_parser_prolog.zip) - Java version: 1.6.0_10

% FastBytecodeToProlog: $Rev: 399 $ 
% FastBytecodeToProlog is meant to be used in conjunction with SWIProlog.

% ISO PROLOG DIRECTIVES
:- discontiguous(class_file/10).
:- discontiguous(class_file_source/2).
:- discontiguous(enclosing_method/4).
:- discontiguous(annotation/4).
:- discontiguous(annotation_default/2).
:- discontiguous(parameter_annotations/3).
:- discontiguous(field/11).
:- discontiguous(field_value/2).
:- discontiguous(method/15).
:- discontiguous(method_exceptions/2).
:- discontiguous(method_line_number_table/2).
:- discontiguous(method_local_variable_table/2).
:- discontiguous(method_exceptions_table/2).
:- discontiguous(instr/3).
		
class_file(cf_1,class_declaration,class('view','ImplViewClass'),class('java/lang','Object'),[class('model','IModelClass')],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_1,'ImplViewClass.java').
method(cf_1,m_4,'metodoDoModelo',signature([],class('java/lang','String')),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_4,[kv(0,length(3),'this',class('view','ImplViewClass'),index(0))]).
method_line_number_table(m_4,[kv(0,ln(11))]).
instr(m_4,0,push(string('Viadinho'))).
instr(m_4,1,return(reference)).
method(cf_1,m_3,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_3,[kv(0,length(5),'this',class('view','ImplViewClass'),index(0))]).
method_line_number_table(m_3,[kv(0,ln(6))]).
instr(m_3,0,load(reference,0)).
instr(m_3,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_3,2,return(void)).
field(cf_1,f_2,'incorretModelClassInView',class('model','ModelClass'),default,final(no),static(no),transient(no),volatile(no),synthetic(no),deprecated(no)).
class_file(cf_5,class_declaration,class('view','ViewClass'),class('model','ModelClass'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_5,'ViewClass.java').
method(cf_5,m_7,'metodoQueViola',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_7,[kv(0,length(16),'this',class('view','ViewClass'),index(0)),kv(4,length(16),'iModelo',class('model','IModelClass'),index(1)),kv(7,length(16),'retorno',class('java/lang','String'),index(2))]).
method_line_number_table(m_7,[kv(0,ln(10)),kv(4,ln(12)),kv(7,ln(13))]).
instr(m_7,0,new(class('model','ModelClass'))).
instr(m_7,1,dup).
instr(m_7,2,invoke(special,class('model','ModelClass'),'<init>',signature([],void))).
instr(m_7,3,store(reference_or_return_address,1)).
instr(m_7,4,load(reference,1)).
instr(m_7,5,invoke(interface,class('model','IModelClass'),'metodoDoModelo',signature([],class('java/lang','String')))).
instr(m_7,6,store(reference_or_return_address,2)).
instr(m_7,7,return(void)).
method(cf_5,m_6,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_6,[kv(0,length(5),'this',class('view','ViewClass'),index(0))]).
method_line_number_table(m_6,[kv(0,ln(6))]).
instr(m_6,0,load(reference,0)).
instr(m_6,1,invoke(special,class('model','ModelClass'),'<init>',signature([],void))).
instr(m_6,2,return(void)).
class_file(cf_8,interface_declaration,class('model','IModelClass'),class('java/lang','Object'),[],public,final(no),abstract(yes),synthetic(no),deprecated(no)).
class_file_source(cf_8,'IModelClass.java').
method(cf_8,m_9,'metodoDoModelo',signature([],class('java/lang','String')),public,abstract(yes),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
class_file(cf_10,class_declaration,class('model','ModelClass'),class('java/lang','Object'),[class('model','IModelClass')],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_10,'ModelClass.java').
method(cf_10,m_12,'metodoDoModelo',signature([],class('java/lang','String')),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_12,[kv(0,length(2),'this',class('model','ModelClass'),index(0))]).
method_line_number_table(m_12,[kv(0,ln(12))]).
instr(m_12,0,push(reference(null))).
instr(m_12,1,return(reference)).
method(cf_10,m_11,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_11,[kv(0,length(5),'this',class('model','ModelClass'),index(0))]).
method_line_number_table(m_11,[kv(0,ln(5)),kv(2,ln(8))]).
instr(m_11,0,load(reference,0)).
instr(m_11,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_11,2,return(void)).
class_file(cf_13,class_declaration,class('model/submodel','DAO'),class('java/lang','Object'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_13,'DAO.java').
method(cf_13,m_14,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_14,[kv(0,length(5),'this',class('model/submodel','DAO'),index(0))]).
method_line_number_table(m_14,[kv(0,ln(3))]).
instr(m_14,0,load(reference,0)).
instr(m_14,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_14,2,return(void)).
class_file(cf_15,class_declaration,class('model/submodel','SubModelClass'),class('java/lang','Object'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_15,'SubModelClass.java').
method(cf_15,m_16,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_16,[kv(0,length(5),'this',class('model/submodel','SubModelClass'),index(0))]).
method_line_number_table(m_16,[kv(0,ln(3))]).
instr(m_16,0,load(reference,0)).
instr(m_16,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_16,2,return(void)).
class_file(cf_17,class_declaration,class('papel','Alessandro'),class('model','ModelClass'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_17,'Alessandro.java').
method(cf_17,m_18,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_18,[kv(0,length(5),'this',class('papel','Alessandro'),index(0))]).
method_line_number_table(m_18,[kv(0,ln(5))]).
instr(m_18,0,load(reference,0)).
instr(m_18,1,invoke(special,class('model','ModelClass'),'<init>',signature([],void))).
instr(m_18,2,return(void)).
class_file(cf_19,class_declaration,class('papel','Cadeira'),class('java/lang','Object'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_19,'Cadeira.java').
method(cf_19,m_20,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_20,[kv(0,length(5),'this',class('papel','Cadeira'),index(0))]).
method_line_number_table(m_20,[kv(0,ln(3))]).
instr(m_20,0,load(reference,0)).
instr(m_20,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_20,2,return(void)).
class_file(cf_21,class_declaration,class('papel','Dado'),class('java/lang','Object'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_21,'Dado.java').
method(cf_21,m_22,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_22,[kv(0,length(5),'this',class('papel','Dado'),index(0))]).
method_line_number_table(m_22,[kv(0,ln(3))]).
instr(m_22,0,load(reference,0)).
instr(m_22,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_22,2,return(void)).
class_file(cf_23,class_declaration,class('papel','PapelLapis'),class('papel','SuperPapel'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_23,'PapelLapis.java').
method(cf_23,m_24,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_24,[kv(0,length(5),'this',class('papel','PapelLapis'),index(0))]).
method_line_number_table(m_24,[kv(0,ln(3))]).
instr(m_24,0,load(reference,0)).
instr(m_24,1,invoke(special,class('papel','SuperPapel'),'<init>',signature([],void))).
instr(m_24,2,return(void)).
class_file(cf_25,class_declaration,class('papel','PapelMane'),class('papel','SuperPapel'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_25,'PapelMane.java').
method(cf_25,m_26,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_26,[kv(0,length(5),'this',class('papel','PapelMane'),index(0))]).
method_line_number_table(m_26,[kv(0,ln(3))]).
instr(m_26,0,load(reference,0)).
instr(m_26,1,invoke(special,class('papel','SuperPapel'),'<init>',signature([],void))).
instr(m_26,2,return(void)).
class_file(cf_27,class_declaration,class('papel','SuperPapel'),class('java/lang','Object'),[],public,final(no),abstract(no),synthetic(no),deprecated(no)).
class_file_source(cf_27,'SuperPapel.java').
method(cf_27,m_28,'<init>',signature([],void),public,abstract(no),final(no),static(no),synchronized(no),strict_fp(no),native(no),varargs(no),bridge(no),synthetic(no),deprecated(no)).
method_local_variable_table(m_28,[kv(0,length(5),'this',class('papel','SuperPapel'),index(0))]).
method_line_number_table(m_28,[kv(0,ln(3))]).
instr(m_28,0,load(reference,0)).
instr(m_28,1,invoke(special,class('java/lang','Object'),'<init>',signature([],void))).
instr(m_28,2,return(void)).
